foo
bar

s0 [
  foo -> s1,
  bar -> s2
]

s1 []
s2 []

f : s0, s1, s2
b : s0, s1, s2
